Linux command to copy contents of one file to another